$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$). $\parallel$${\it tab}$$\parallel$  $\in$ $\mathbb{N}$